(0 15 10)(1 8 3)(2 13 11)(4 17 12)(5 14 9)(6 16 7)
ALLOWS (11/8)-SEQUENCE
1: (4 12 17)
(0 15 10)(1 8 3)(2 13 11)(4 12 17)(5 14 9)(6 16 7)
2: (2 13 11)
(0 15 10)(1 8 3)(2)(4 12 17)(5 14 9)(6 16 7)(11)(13)
3: (4 12 17)
(0 15 10)(1 8 3)(2)(4)(5 14 9)(6 16 7)(11)(12)(13)(17)
4: (1 8 3)
(0 15 10)(1)(2)(3)(4)(5 14 9)(6 16 7)(8)(11)(12)(13)(17)